A Reference-Based Parameterization Scheme for Equation-Based Object-Oriented Modeling Languages
نویسنده
چکیده
This paper presents a reference-based parameterization scheme for equation-based, objectoriented modeling languages such as Modelica. It is demonstrated, how simple language constructs can be designed that enable a general and powerful parameterization of models. Furthermore, the computational process required for this parameterization scheme is outlined. To validate our concepts, an experimental language has been developed and implemented. It is called Hornblower and it represents an attempt to embrace the core ideas of Modelica while reorganizing the higher-level modeling tasks that have evolved during time.
منابع مشابه
Type Safety of Equation-Based Object-Oriented Modeling Languages
Computer aided modeling and simulation of complex physical systems, using components from multiple domains, such as electrical, mechanical, and hydraulic, have in recent years witnessed a significant growth of interest. Generalpurpose simulation tools, e.g., Simulink, using block diagrams and causal connections have dominated the area for years. However, in the last decade novel languages, (e.g...
متن کاملTowards Run-time Debugging of Equation-based Object-oriented Languages
The development of today’s complex products requires advanced integrated environments and modeling languages for modeling and simulation. Equation-based object-oriented declarative (EOO) languages are emerging as the key approach to physical system modeling and simulation. The increased ease of use, the high abstraction and the expressivity of EOO languages are very attractive properties. Howev...
متن کاملModelsaz: An Object-Oriented Computer-Aided Modeling Environment
Modeling and simulation of processing plants are widely used in industry. Construction of a mathematical model for a plant is a time-consuming and error-prone task. In light of extensive advancements in computer science (both hardware and software), computers are becoming a necessary instrument in industrial activities. Many software tools for modeling, simulation and optimization of proces...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کامل